Free shipping on all orders! No minimum purchase required.

More from this Author

Found 2 books by James McKinna (Editor)

Types for Proofs and Programs

Types for Proofs and Programs

by Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Robert Pollack (Editor)

Types for Proofs and Programs

Types for Proofs and Programs

by Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor)

Bookstores.com relies on cookies to improve your experience.